several factors in mathematical logic translation 數(shù)理邏輯翻譯中的幾個(gè)因素
on the second revolution of mathematical logic 論第2次數(shù)理邏輯革命
the feature of the mathematical logic and the aesthetics in the ancient chinese capital planning 中國(guó)古代都城規(guī)劃中的數(shù)理哲學(xué)與美學(xué)特征
he has an msc in mathematical logic and the theory of computation from bristol university, uk 他具有英國(guó)bristoluniversity頒發(fā)的數(shù)理邏輯和計(jì)算理論的理學(xué)碩士學(xué)位。
r . cori & d . lascar : mathematical logic ? a course with exercises, part i . oxford university press, 2001 陳慕澤余俊偉:數(shù)理邏輯基礎(chǔ)??一階邏輯與一階理論,中國(guó)人民大學(xué)出版社2003。